Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
71	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
72	Habilitationsschrift Normalization by Evaluation Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-02-05 11:53:37 Lambda calculus Mathematical logic Logic in computer science Dependently typed programming Theory of computation Normalisation by evaluation Simply typed lambda calculus Typed lambda calculus Dependent type Type theory Programming language theory Theoretical computer science
73	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
74	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
75	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
76	PDF Document Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2008-05-09 14:32:29 Lambda calculus Type theory Data types Theoretical computer science Subroutines Type system ALGOL 68 C syntax Simply typed lambda calculus Software engineering Computing Computer programming
77	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
78	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-02-07 07:09:47 Applied mathematics Type theory Theory of computation Logic in computer science Typed lambda calculus Simply typed lambda calculus Henk Barendregt Programming language theory Radboud University Nijmegen Theoretical computer science Lambda calculus Computer science
79	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:55:57 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
80	PDF Document Add to Reading List Source URL: homepages.ihug.co.nz Language: English - Date: 2003-07-30 18:33:02 Mathematics Computability theory Simply typed lambda calculus Spectral theory of ordinary differential equations De Bruijn index Lambda calculus Theoretical computer science Computer science